paracompact polyhedron

[数] 仿紧多面体